Перевод: с испанского на английский

с английского на испанский

formal relation

См. также в других словарях:

  • Formal concept analysis — is a principled way of automatically deriving an ontology from a collection of objects and their properties. The term was introduced by Rudolf Wille in 1984, and builds on applied lattice and order theory that was developed by Birkhoff and others …   Wikipedia

  • relation — ► NOUN 1) the way in which two or more people or things are connected or related. 2) (relations) the way in which two or more people or groups feel about and behave towards each other. 3) a relative. 4) (relations) formal sexual intercourse. 5)… …   English terms dictionary

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… …   Wikipedia

  • Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] …   Wikipedia

  • Relation (mathematics) — This article sets out the set theoretic notion of relation. For a more elementary point of view, see binary relations and triadic relations. : For a more combinatorial viewpoint, see theory of relations. In mathematics, especially set theory, and …   Wikipedia

  • Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… …   Wikipedia

  • Formal ontology — A Formal ontology is an ontology with a structure that is guided and defined through axioms. The goal of a formal ontology is to provide an unbiased (domain and application independent) view on reality. Formal ontologies are founded upon a… …   Wikipedia

  • Formal grammar — In formal semantics, computer science and linguistics, a formal grammar (also called formation rules) is a precise description of a formal language ndash; that is, of a set of strings over some alphabet. In other words, a grammar describes which… …   Wikipedia

  • relation — re|la|tion W1S2 [rıˈleıʃən] n ▬▬▬▬▬▬▬ 1¦(between people/countries)¦ 2 in relation to something 3¦(connection)¦ 4¦(family)¦ 5 have (sexual) relations (with somebody) ▬▬▬▬▬▬▬ 1.) ¦(BETWEEN PEOPLE/COUNTRIES)¦ relations [plural] …   Dictionary of contemporary English

  • Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»